On the approximability of the maximum feasible subsystem problem with 0/1-coefficients

نویسندگان

  • Khaled M. Elbassioni
  • Rajiv Raman
  • Saurabh Ray
  • René Sitters
چکیده

Given a system of constraints `i ≤ ai x ≤ ui, where ai ∈ {0, 1}, and `i, ui ∈ R+, for i = 1, . . . ,m, we consider the problem Mrfs of finding the largest subsystem for which there exists a feasible solution x ≥ 0. We present approximation algorithms and inapproximability results for this problem, and study some important special cases. Our main contributions are : 1. In the general case, where ai ∈ {0, 1}, a sharp separation in the approximability between the case when L = max{`1, · · · , `m} is bounded above by a polynomial in n and m, and the case when it is not. 2. In the case where A is an interval matrix, a sharp separation in approximability between the case where we allow a violation of the upper bounds by at most a (1+ ) factor, for any fixed > 0 and the case where no violations are allowed. Along the way, we prove that the induced matching problem on bipartite graphs is inapproximable beyond a factor of Ω(n 1 3− ), for any > 0 unless NP=ZPP. Finally, we also show applications of Mrfs to the recently studied pricing problems.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Complexity and Approximability of Finding Maximum Feasible Subsystems of Linear Relations

We study the combinatorial problem which consists, given a system of linear relations, of nding a maximum feasible subsystem, that is a solution satisfying as many relations as possible. The computational complexity of this general problem, named Max FLS, is investigated for the four types of relations =, , > and 6 =. Various constrained versions of Max FLS, where a subset of relations must be ...

متن کامل

Branch-and-Cut for the Maximum Feasible Subsystem Problem

This paper presents a branch-and-cut algorithm for the NPhard maximum feasible subsystem problem: For a given infeasible linear inequality system, determine a feasible subsystem containing as many inequalities as possible. The complementary problem, where one has to remove as few inequalities as possible in order to make the system feasible, can be formulated as a set covering problem. The rows...

متن کامل

Approximability of Integer Programming with Generalised Constraints

We study a family of problems, called Maximum Solution, where the objective is to maximise a linear goal function over the feasible integer assignments to a set of variables subject to a set of constraints. When the domain is Boolean (i.e. restricted to {0, 1}), the maximum solution problem is identical to the well-studied Max Ones problem, and the approximability is completely understood for a...

متن کامل

Fast Heuristics for the Maximum Feasible Subsystem Problem

Given an infeasible set of linear constraints, finding the maximum cardinality feasible subsystem is known as the maximum feasible subsystem problem. This problem is known to be NP-hard, but has many practical applications. This paper presents improved heuristics for solving the maximum feasible subsystem problem that are significantly faster than the original, but still highly accurate. (Linea...

متن کامل

MAX ONES Generalized to Larger Domains

We study a family of problems, called Maximum Solution, where the objective is to maximise a linear goal function over the feasible integer assignments to a set of variables subject to a set of constraints. When the domain is Boolean (i.e. restricted to {0, 1}), the maximum solution problem is identical to the well-studied Max Ones problem, and the approximability is completely understood for a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009